Author facet: McIver, Annabelle - ECU Libraries Catalog Search Results

Clear Search

You searched for: Author facet McIver, Annabelle

1 - 6 of 6

Formal Methods - The Next 30 Years Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings
by ter Beek, Maurice H.
2019
1st ed. 2019
Format: Electronic and Book

✔ Available View 2 Items

Library	Location	Call Number	Status
	Electronic Resources		✔ Available

Quantitative Evaluation of Systems 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings
by McIver, Annabelle
2018
Format: Electronic and Book

✔ Available

Call Number: Multiple Online Resources Available

Logic for Programming, Artificial Intelligence, and Reasoning 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings
by Davis, Martin
2015
1st ed. 2015
Format: Electronic and Book

✔ Available

Call Number: Multiple Online Resources Available

Abstraction, refinement and proof for probabilistic systems
by McIver, Annabelle
2005
Format: Book and Print

✔ Available Joyner - General Stacks

Call Number: TA340 .M43 2005

Abstraction, refinement and proof for probabilistic systems
by McIver, Annabelle
2005
Format: Electronic and Book

✔ Available

Call Number: Access Content Online

Programming methodology
2003
Format: Book and Print

✔ Available Joyner - General Stacks

Call Number: QA76.6 .P76 2003